logical operators in discrete mathematics